1. Computer science logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 :proceedings
Author: E. Borger...]et al.[, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
533
2. Computer science logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
Author: E. Brger...]et al.[, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
702
3. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Author: Workshop on Computer Science Logic, )4th, 0991, Heidelberg, Germany(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science - Congresses,، Logic, Symbolic and mathematical - Congresses
Classification :
QA
75
.
5
.
W624
1990
